#ifndef ASYNCPAGES_H
#define ASYNCPAGES_H
#include <stdlib.h>
#include <stdbool.h>
#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

void async_advertise_release( void * pageaddr, size_t size ) ;
void async_process_all_messages() ;
void async_page_management_init() ;
bool async_request_page( void * page, size_t size, bool exclusive ) ;
void safe_release_page( void * page ) ;
void sync_safe_acquire( void * page, size_t size, bool exclusive );


#ifdef __cplusplus
}
#endif
#endif 
